کتاب سینیکا عن قصر الحیاة "De Brevitate Vitae"
نویسندگان
چکیده
منابع مشابه
Curriculum Vitae Et Studiorum
with valuation 110/110 cum laude Thesis: " Polymorphism and subtyping in MetaML " Supervisor: Eugenio Moggi • July 1996 High school degree at the " Istituto Tecnico Statale F.Liceti " of Rapallo (Gen-ova), with valuation 60/60 English: scholastic knowledge (PET certificate) French: scholastic knowledge Research activity Research interests Formal semantics of programming languages, functional an...
متن کاملCurriculum vitae et studiorum
1) Semantics of Programming Languages II (Prof. Ugo Montanari); 2) Database Programming Languages (Prof. Antonio Albano, Prof. Giuseppe Castagna, Prof. V. Benzaken) (Bertinoro); 3) Mobility Languages (Davide Sangiorgi) (Bertinoro); 4) Petri Nets (Prof. G. Balbo) (Bertinoro); 5) Syntactic Rule Formats and Defining Higher-Order Languages (Prof. Karen Bernstein); 6) Applied Cryptography (Prof. Pao...
متن کاملCurriculum Vitae et Studiorum
Education – Ph.D. in Computer Science, September 1997, Università degli Studi di Milano, Italy Thesis: Strongly Constructive Formal Systems. Supervisor: Prof. Pierangelo Miglioli – Bachelor of Science with distinction in Computer Science, December 1990. Università degli Studi di Milano, Italy Thesis: Logiche intermedie costruttive massimali (Maximal Intermediate Constructive Logics). Supervisor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Center Papyrological Studies
سال: 1996
ISSN: 2636-3186
DOI: 10.21608/bcps.1996.81757